const static char *build_date = "Wed Oct 31 16:22:46 CST 2012";
